1. Advances in information and computer security
پدیدآورنده : / Isao Echizen, Noboru Kunihiro, Ryoichi Sasaki (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer security, Congresses,Computer networks, Access control, Congresses,Computer networks, Security measures, Congresses
رده :
QA76
.
9
.
A25I58
2010
2. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
3. Automatic verification methods for finite state systems : Proceedings
پدیدآورنده : J. Sifakis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
407
4. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer network protocols-- Congresses
رده :
TK
5105
.
5
.
A97
1990
5. Data communications and their performance : Proceedings of the sixth IFIP WG6.3 Conference on Performance of Computer Networks, Istanbul, Turkey, 1995
پدیدآورنده : edited by Serge Fdida and Raif O. Onvural
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Data transmission systems - Congresses , Telecommunication- Switching systems - Congresses , Multiplexing - Congresses , Asynchronous transfer mode - Congresses , Computer network protocols - Congresses , Computer networks - Congresses
رده :
TK
5105
.
I34
1995
6. Data communications and their performance: proceedings of the sixth IFIP WG6.3 Conference on Performance of Computer Networks, Istanbul, Turkey, 1995
پدیدآورنده : edited by Serge Fdida and Raif O. Onvural
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Multimedia systems,Congresses ، Computer network protocols,Congresses ، Multiplexing,Congresses ، Telecommunication - Switching systems,Congresses ، Computer networks,Congresses ، Asynchronous transfer mode,Congresses ، Data transmission systems,Congresses ، Information superhighway
رده :
TK
5105
.
35
.
I55
1995
7. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,دادهپردازی -- پردازش توزبع شده -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها ,پروتکلهای شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
8. Formal description techniques VII, proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques
پدیدآورنده : sponsored by IFIP WG 6.1 in cooperation with ACM SIGCOMM and the IEEE Computer Society Technical Commitee on Distributed Processing; edited by Dieter Hogrefe and Stefan Leue
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
9
.
D5
I545
1994
9. Formal description techniques and protocol specification, testing, and verification: FORTE X/PSTV XVII '97: IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols )FORTE X( and Protocol Specification, Testing, and Verification )PSTV XVII(, 18-21 Nov. 1997, Osaka, Japan
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Computer network protocols-- Congresses
رده :
QA
76
.
9
.
D5
.
I33845
1997
10. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
11. Formal techniques for networked and distributed systems
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
12. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: Central Library of Hamedan University of Technology (Hamedan)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
13. Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings
پدیدآورنده : Doron A. Peled, Moshe Y. Vardi )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2529
14. Formal techniques for networked and distributed systems-FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings
پدیدآورنده : Hartmut Konig, Mokika Heiner, Adam Woiisz, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
2767
15. Formal techniques for networked and distributed systems -- FORTE 2005 : 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3731
16. Formal techniques for networked and distributed systems -- Forte 2004 : 24th IFIP WG 6.1 international conference, Madrid Spain, September 27-30, 2004 : proceedings
پدیدآورنده : ]edited by[ David de Frutos-Escrig, Manuel Nunez
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3235
17. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
18. Human interactive proofs : second international Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings
پدیدآورنده : Henry S. Baird, Daniel P. Lopresti )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Pattern recognition systems,Congresses ، Computer network protocols,Congresses ، Computers -- Access control,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
3517
19. 1993 International Conference on Network Protocols, San Francisco, California, October 19-22, 1993: : proceedings
پدیدآورنده : International Conference on Network Protocols )3991 : San Francisco, Calif.(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer network protocols- Congresses
20. Modelling and performance evaluation methodology: Proceedings of the International Seminar, Paris, France, January 24-26, 1983
پدیدآورنده : edited by F. Baccelli and G. Fayolle
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Computer networks,Congresses ، Queueing theory,Congresses ، Computer network protocols
رده :
TK
5105
.
5
.
M63
1984